transition:    
t1-a-t2;
t2-b-t2;
t2-c-t3;
t3-a-t4;
t4-b-t5;
t5-a-t6;
t6-d-t5;
t5-c-t7;
t4-d-t8;
t8-d-t10;
t8-c-t9;
initial:
t1;
final: 
t1;
t6;
t7;
t9;
t10.